Subconjunt

Un subconjunt és un conjunt format per elements d'un altre conjunt. Es diu que el primer conjunt és subconjunt del segon conjunt. Una manera més formal d'expressar això seria: Siguin X i Y dos conjunts, es diu que X és subconjunt de Y quan tot element de X és també element de Y.^[1]

Per exemple:

A={1,2,3} i B={1,2,3,4,7}. Es pot dir que A és un subconjunt de B perquè tots els elements de A també pertanyen a B.

La relació entre un subconjunt i un conjunt s'anomena inclusió i es representa pel símbol ⊆ o en la posició inversa ⊇.

En l'exemple anterior, escriuríem A ⊆ B o B ⊇ A.^[2][3]

Seguint la definició, tot conjunt A és subconjunt d'ell mateix. Per això, es parla de subconjunts propis d'A per a referir-se als subconjunts d'A que no són ell mateix.^[4][5]